A Guided Tour in the Topos of Graphs
نویسنده
چکیده
In this paper we survey the fundamental constructions of a presheaf topos in the case of the elementary topos of graphs. We prove that the transition graphs of nondeterministic automata (a.k.a. labelled transition systems) are the separated presheaves for the double negation topology, and obtain as an application that their category is a quasitopos.
منابع مشابه
An Introduction to Topos Theory
The purpose of this text is to equip the reader with an intuitive but precise understanding of elementary structures of category and topos theory. In order to achieve this goal, we provide a guided tour through category theory, leading to the definition of an elementary (Lawvere–Tierney) topos. Then we turn to the investigation of consequences of this definition. In particular, we analyse in de...
متن کاملTHE INTERNAL IDEAL LATTICE IN THE TOPOS OF M-SETS
We believe that the study of the notions of universal algebra modelled in an arbitarry topos rather than in the category of sets provides a deeper understanding of the real features of the algebraic notions. [2], [3], [4], [S], [6], [7], [13], [14] are some examples of this approach. The lattice Id(L) of ideals of a lattice L (in the category of sets) is an important ingredient of the categ...
متن کاملIdentifying the Ethical Competencies of International Tour Guides
Background: International tour guides, as the front line of touristschr('39') treatment of the destination community, have a great impact on tourist satisfaction and improve the quality of travel, and moral competencies are important. The purpose of this study is to identify the components of ethical competencies of international tour guides. Method: For conducting research, a mixed method bas...
متن کاملFactors Affecting Information Search Behavior in Purchasing an Outbound Package Tour: A Thematic Analysis
The present study seeks to examine the factors affecting information search of heads of households in purchasing an outbound package tour. A sample of 60 academics and non-academics in the field of tourism was chosen. Sampling methods were judgmental and snowball sampling. In order to gather data, we used a semi-structured interview. Thematic analysis was applied for data analysis, and the col...
متن کامل3D Grand Tour for Multidimensional Data and Clusters
Grand tour is a method for viewing multidimensional data via linear projections onto a sequence of two dimensional subspaces and then moving continuously from one projection to the next. This paper extends the method to 3D grand tour where projections are made onto three dimensional subspaces. 3D cluster-guided tour is proposed where sequences of projections are determined by cluster centroids....
متن کامل